On a Unifying Framework for Comparing Knowledge Representation Schemes
نویسندگان
چکیده
Given the numerous knowledge representation models (KR-schemes) that have been proposed, it would be desirable to have a formal, unifying model for the description of a KR-scheme, as well as a general method of comparing KR-schemes in terms of expressive power. This work attempts to fill this gap, by proposing an elegant, yet very general, model of describing KR-schemes. This formalization is used to describe any knowledge representation model, including databases, logic-based schemes, semantic networks etc. It is also applied to introduce a general comparison method for KR-schemes and a formal definition of the reduction of one scheme to another. Using this model, we can reason about KR-schemes in an abstract manner and to determine whether a certain reduction is possible or not.
منابع مشابه
Describing Knowledge Representation Schemes: a Formal Account
The representation and manipulation of knowledge has been drawing a great deal of attention since the early days of computer science, resulting in the introduction of numerous different Knowledge Representation schemes (KRschemes). Given the great variety of such available schemes, it would be desirable to have a uniform way of treating them. In this report, we propose a formal, unifying framew...
متن کاملOrganization of Gatekeeping and Mental Framework in the System of Representation and Hierarchical Relational Structures of the Modern Society
Critical discourse analysis as a type of social practice reveals how linguistic choices enable speakers to manipulate the realizations of agency and power in the representation of action.The present study examines the relationship between language and ideology and explores how such a relationship is represented in the analysis of spoken text and to show how declarative knowledge, beliefs, attit...
متن کاملAn Efficient Genetic Agorithm for Solving the Multi-Mode Resource-Constrained Project Scheduling Problem Based on Random Key Representation
In this paper, a new genetic algorithm (GA) is presented for solving the multi-mode resource-constrained project scheduling problem (MRCPSP) with minimization of project makespan as the objective subject to resource and precedence constraints. A random key and the related mode list (ML) representation scheme are used as encoding schemes and the multi-mode serial schedule generation scheme (MSSG...
متن کاملA Novel Fuzzy and Artificial Neural Network Representation of Overcurrent Relay Characteristics
Accurate models of Overcurrent (OC) with inverse time relay characteristics play an important role for coordination of power system protection schemes. This paper proposes a new method for modeling OC relays curves. The model is based on fuzzy logic and artificial neural networks. The feed forward multilayer perceptron neural network is used to calculate operating times of OC relays for various...
متن کاملA Unified Approach to Plan Representation
Planning has traditionally used some form of predicate calculus as the basis for its representation. From the early days of STRIPS in 1970 to the recent planner TWEAK in 1987, domain knowledge and world models that represent the current state of the domain, have been represented as conjunctions of atomic formulae. Whereas this has been adequate for declarative knowledge, the representation of p...
متن کامل